On the stable difference scheme for source identification nonlocal elliptic problem

Approximation of source identification problem for elliptic equation with integral-type nonlocal condition is discussed. The first order of accuracy difference scheme for elliptic nonlocal identification problem is studied. By using spectral resolution of a self-adjoint operator, we establish stability inequalities for solution of constructed scheme. Subsequently, the difference scheme for approximate solution of multidimensional boundary value problem with integral-type nonlocal and first kind boundary conditions is investigated on stability. Numerical test examples are presented.     

Two-Step Scheme for Backward Stochastic Differential Equations

In this paper, a stochastic linear two-step scheme has been presented to approximate backward stochastic differential equations (BSDEs). A necessary and sufficient condition is given to judge the $\mathbb{L}_2$-stability of our numerical schemes. This stochastic linear two-step method possesses a family of $3$-order convergence schemes in the sense of strong stability. The coefficients in the numerical methods are inferred based on the constraints of strong stability and $n$-order accuracy ($n\in\mathbb{N}^+$). Numerical experiments illustrate that the scheme is an efficient probabilistic numerical method.     

A family of predictor–corrector schemes for a class of variational inequalities

This work is concerned with an abstract problem in the form of a variational inequality, or equivalently a minimization problem involving a non-differential functional. The problem is inspired by a formulation of the initial–boundary value problem of elastoplasticity. The objective of this work is to revisit the predictor–corrector algorithms that are commonly used in computational applications, and to establish conditions under which these are convergent or, at least, under which they lead to decreasing sequences of the functional for the problem. The focus is on the predictor step, given that the corrector step by definition leads to a decrease in the functional. The predictor step may be formulated as a minimization problem. Attention is given to the tangent predictor, a line search approach, the method of steepest descent, and a Newton-like method. These are all shown to lead to decreasing sequences.     

斜对角无穷维Hamilton算子的点谱和特征函数系辛结构的非退化性

本文研究斜对角无穷维Hamilton算子$H=\begin{pmatrix}0&B\\C&0\end{pmatrix}$的点谱和特征函数系辛结构的非退化性, 给出斜对角无穷维Hamilton算子$H$的特征函数系具有非退化辛结构的充分必要条件. 基于此, 进一步刻画了斜对角无穷维Hamilton算子$H$的点谱分别包含于实轴、虚轴以及其它区域的充分必要条件. 最后, 以板弯曲问题和弦振动问题中导出的斜对角无穷维Hamilton算子为例, 验证了所得结论的正确性.     

求解洛伦兹力系统的一个任意高阶的能量守恒格式

本文旨在提出一种求解带电粒子系统的任意高阶能量守恒格式.在使用能量不变二次化方法将原始哈密顿能量泛函转化为一个二次形式后,辛龙格-库塔方法被用来构造了一种新的能量守恒格式来求解洛伦兹力系统.新格式不仅能保持能量守恒,而且可以达到任意高阶.通过与经典的Boris方法和另一个二阶能量守恒方法对比,数值实验验证了所提算法的显著优越性.     

The generalized zero-mode supersymmetry scheme and the confluent algorithm

We show the relationship between the mathematical framework used in recent papers by Rosu et al. (2014) [1–3] and the second-order confluent supersymmetric quantum mechanics. In addition, we point out several immediate generalizations of the approach taken in the latter references. Furthermore, it is shown how to apply the generalized scheme to the Dirac and to the Fokker–Planck equation.     

Borcea–Voisin Calabi–Yau threefolds and invertible potentials

We prove that the Borcea–Voisin mirror pairs of Calabi–Yau threefolds admit projective birational models that satisfy the Berglund–Hübsch–Chiodo–Ruan transposition rule. This shows that the two mirror constructions provide the same mirror pairs, as soon as both can be defined.     

A Free-Lagrange method for unsteady compressible flow: simulation of a confined cylindrical blast wave

A Free-Lagrange numerical procedure for the simulation of two-dimensional inviscid compressible flow is described in detail. The unsteady Euler equations are solved on an unstructured Lagrangian grid based on a density-weighted Voronoi mesh. The flow solver is of the Godunov type, utilising either the HLLE (2 wave) approximate Riemann solver or the more recent HLLC (3 wave) variant, each adapted to the Lagrangian frame. Within each mesh cell, conserved properties are treated as piece-wise linear, and a slope limiter of the MUSCL type is used to give non-oscillatory behaviour with nominal second order accuracy in space. The solver is first order accurate in time. Modifications to the slope limiter to minimise grid and coordinate dependent effects are described. The performances of the HLLE and HLLC solvers are compared for two test problems; a one-dimensional shock tube and a two-dimensional blast wave confined within a rigid cylinder. The blast wave is initiated by impulsive heating of a gas column whose centreline is parallel to, and one half of the cylinder radius from, the axis of the cylinder. For the shock tube problem, both solvers predict shock and expansion waves in good agreement with theory. For the HLLE solver, contact resolution is poor, especially in the blast wave problem. The HLLC solver achieves near-exact contact capture in both problems. Received May 25, 1995 / Accepted September 11, 1995     

三维扰动波的非平行边界层稳定性研究

导出了三维扰动波的原始变量形式的抛物化稳定性方程（PSE）,研究了三维空间模态TS波的非平行边界层稳定性问题.采用了法向四阶紧致格式,以提高计算精度.通过给出不会导致奇性的坐标变换、修改外边界条件以及克服平行流初始值的瞬态影响和推进步长的限制,保证了计算的数值稳定.用补全元素带状矩阵法求解块三对角矩阵,大大提高了速度.计算结果清楚地显示了三维扰动波的演化过程和非平行性对边界层稳定性的影响,特别是,观察到非平行性对三维扰动波的影响,有时会使其稳定性出现逆转的现象.还研究了逆压梯度的作用.算例的结果与其他结果符合良好.     

粒子输运方程的子网格平衡格式的稳定性和收敛性

本文研究四边形网格上求解粒子输运方程的有限体积格式,其中角方向变量采用离散纵标(Sn)方法,空间离散采用子网格平衡(SCB)格式.利用能量估计方法,证明了在正交网格上该格式的稳定性和离散解的收敛性.数值实验结果验证了格式的稳定性和离散解的收敛性.